1. Clausal form logic : an introduction to the logic of computer reasoning
پدیدآورنده : Richards, Tom.
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
2. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning
پدیدآورنده : I.R. Goodman, H.T. Nguyen and E.A. Walker
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95G67
1991
3. Current trends on knowledge-based systems
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Artificial intelligence,Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
006
.
3
C976
2017
21
